Gröbner bases and syzygies on bimodules over PBW algebras
نویسندگان
چکیده
A new method for the computation of two-sided Gröbner bases of ideals and bimodules shifting the problem to the enveloping algebra is proposed. This alternative method appears to be more efficient than the one in [Kandri-Rody, A., Weispfenning, V., 1990. Non-commutative Gröbner bases in algebras of solvable type. J. Symbolic Comput. 9, 1–26] since it calls the left Buchberger algorithm once. We introduce the notion, arising from the ideas that this method involves, of two-sided syzygy, which is revealed to be useful in the computation of, e.g., the intersection of bimodules. Further applications are left for a later work. © 2005 Elsevier Ltd. All rights reserved.
منابع مشابه
1786 - 0091 Gröbner Bases of Modules over Σ − Pbw Extensions
For σ−PWB extensions, we extend to modules the theory of Gröbner bases of left ideals presented in [5]. As an application, if A is a bijective quasi-commutative σ − PWB extension, we compute the module of syzygies of a submodule of the free module A.
متن کاملGröbner Bases and Syzygies on Bimodules
A new more efficient method for the computation of two-sided Gröbner bases of ideals and bimodules shifting the problem to the enveloping algebra is proposed. Arising from the ideas this method involves, we introduce the notion of two-sided syzygy, which reveals to be useful in the computation of the intersection of bimod-ules. Further applications are left for a sequel.
متن کاملComputation of Non-commutative Gröbner Bases in Grassmann and Clifford Algebras
Tensor, Clifford and Grassmann algebras belong to a wide class of non-commutative algebras that have a Poincaré-Birkhoff-Witt (PBW) “monomial” basis. The necessary and sufficient condition for an algebra to have the PBW basis has been established by T. Mora and then V. Levandovskyy as the so called “non-degeneracy condition”. This has led V. Levandovskyy to a re-discovery of the so called G-alg...
متن کاملar X iv : 1 50 2 . 06 47 2 v 1 [ m at h . R A ] 8 N ov 2 01 4 Gröbner - Shirshov bases and PBW theorems ∗
We review some applications of Gröbner-Shirshov bases, including PBW theorems, linear bases of free universal algebras, normal forms for groups and semigroups, extensions of groups and algebras, embedding of algebras.
متن کاملDegree bounds for Gröbner bases in algebras of solvable type
We establish doubly-exponential degree bounds for Gröbner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial rings, Weyl algebras, and universal enveloping algebras of finite-dimensional Lie algebras. For the computation of these bounds, we adapt a method due to Dubé based...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 40 شماره
صفحات -
تاریخ انتشار 2005